- transforming logic
- Математика: преобразовательная логика
Универсальный англо-русский словарь. Академик.ру. 2011.
transforming logic
Смотреть что такое "transforming logic" в других словарях:
Linear logic — In mathematical logic, linear logic is a type of substructural logic that denies the structural rules of weakening and contraction . The interpretation is of hypotheses as resources : every hypothesis must be consumed exactly once in a proof.… … Wikipedia
Solid State Logic — Infobox Company company name = Solid State Logic Ltd company company type = Private limited 05356783cite web|url=http://wck2.companieshouse.gov.uk/bf7c9fe07febfa9fcc6fd72a9a56dabb/companysearch?disp=res frfsh=1152656377#result|title=Companies… … Wikipedia
algebra — /al jeuh breuh/, n. 1. the branch of mathematics that deals with general statements of relations, utilizing letters and other symbols to represent specific sets of numbers, values, vectors, etc., in the description of such relations. 2. any of… … Universalium
Frege , (Friedrich Ludwig) Gottlob — (1848–1925) German philosopher and mathematician Born at Wismar (now in Germany), Frege studied at the universities of Jena and Göttingen, where he obtained his PhD in 1873. He then returned to Jena as a lecturer, where he remained for the rest… … Scientists
Computer algebra system — A computer algebra system (CAS) is a software program that facilitates symbolic mathematics. The core functionality of a CAS is manipulation of mathematical expressions in symbolic form. Contents 1 Symbolic manipulations 2 Additional capabilities … Wikipedia
predicate calculus — Logic. See functional calculus. Also called predicate logic. [1945 50] * * * Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as all and some. The predicate calculus … Universalium
Co-creation — is a form of market or business strategy that emphasizes the generation and ongoing realization of mutual firm customer value. It views markets as forums for firms and active customers to share, combine and renew each other s resources and… … Wikipedia
Ockham’s world and future — Arthur Gibson PHILOSOPHICAL BIOGRAPHY Ockham was born in about 1285, certainly before 1290, probably in the village of Ockham, Surrey, near London. If his epitaph is accurate, he died on 10 April 1347. Yet Conrad of Megenberg, when writing to… … History of philosophy
Western architecture — Introduction history of Western architecture from prehistoric Mediterranean cultures to the present. The history of Western architecture is marked by a series of new solutions to structural problems. During the period from the… … Universalium
Scientific method — … Wikipedia
Shockwave (Transformers) — Shockwave is the name of several fictional characters in the various Transformers universes. Due to issues with Hasbro s trademark of the name Shockwave, some products were also released under the name Shockblast.Transformers: Generation… … Wikipedia
